/* CodeMirror main module (http://codemirror.net/)
 *
 * Implements the CodeMirror constructor and prototype, which take care
 * of initializing the editor frame, and providing the outside interface.
 */

// The CodeMirrorConfig object is used to specify a default
// configuration. If you specify such an object before loading this
// file, the values you put into it will override the defaults given
// below. You can also assign to it after loading.
var CodeMirrorConfig = window.CodeMirrorConfig || {};

var CodeMirror = (function(){
  function setDefaults(object, defaults) {
	for (var option in defaults) {
	  if (!object.hasOwnProperty(option))
		object[option] = defaults[option];
	}
  }
  function forEach(array, action) {
	for (var i = 0; i < array.length; i++)
	  action(array[i]);
  }
  function createHTMLElement(el) {
	if (document.createElementNS && document.documentElement.namespaceURI !== null)
	  return document.createElementNS("http://www.w3.org/1999/xhtml", el)
	else
	  return document.createElement(el)
  }

  // These default options can be overridden by passing a set of
  // options to a specific CodeMirror constructor. See manual.html for
  // their meaning.
  setDefaults(CodeMirrorConfig, {
	stylesheet: [],
	path: "",
	parserfile: [],
	basefiles: ["util.js", "stringstream.js", "select.js", "undo.js", "editor.js", "tokenize.js"],
	iframeClass: null,
	passDelay: 200,
	passTime: 50,
	lineNumberDelay: 200,
	lineNumberTime: 50,
	continuousScanning: false,
	saveFunction: null,
	onLoad: null,
	onChange: null,
	undoDepth: 50,
	undoDelay: 800,
	disableSpellcheck: true,
	textWrapping: true,
	readOnly: false,
	width: "",
	height: "300px",
	minHeight: 100,
	onDynamicHeightChange: null,
	autoMatchParens: false,
	markParen: null,
	unmarkParen: null,
	parserConfig: null,
	tabMode: "indent", // or "spaces", "default", "shift"
	enterMode: "indent", // or "keep", "flat"
	electricChars: true,
	reindentOnLoad: false,
	activeTokens: null,
	onCursorActivity: null,
	lineNumbers: false,
	firstLineNumber: 1,
	onLineNumberClick: null,
	indentUnit: 2,
	domain: null,
	noScriptCaching: false,
	incrementalLoading: false
  });

  function addLineNumberDiv(container, firstNum) {
	var nums = createHTMLElement("div"),
		scroller = createHTMLElement("div");
	nums.style.position = "absolute";
	nums.style.height = "100%";
	if (nums.style.setExpression) {
	  try {nums.style.setExpression("height", "this.previousSibling.offsetHeight + 'px'");}
	  catch(e) {} // Seems to throw 'Not Implemented' on some IE8 versions
	}
	nums.style.top = "0px";
	nums.style.left = "0px";
	nums.style.overflow = "hidden";
	container.appendChild(nums);
	scroller.className = "CodeMirror-line-numbers";
	nums.appendChild(scroller);
	scroller.innerHTML = "<div>" + firstNum + "</div>";
	return nums;
  }

  function frameHTML(options) {
	if (typeof options.parserfile == "string")
	  options.parserfile = [options.parserfile];
	if (typeof options.basefiles == "string")
	  options.basefiles = [options.basefiles];
	if (typeof options.stylesheet == "string")
	  options.stylesheet = [options.stylesheet];

	var sp = " spellcheck=\"" + (options.disableSpellcheck ? "false" : "true") + "\"";
	var html = ["<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.0 Transitional//EN\" \"http://www.w3.org/TR/html4/loose.dtd\"><html" + sp + "><head>"];
	// Hack to work around a bunch of IE8-specific problems.
	html.push("<meta http-equiv=\"X-UA-Compatible\" content=\"IE=EmulateIE7\"/>");
	var queryStr = options.noScriptCaching ? "?nocache=" + new Date().getTime().toString(16) : "";
	forEach(options.stylesheet, function(file) {
	  html.push("<link rel=\"stylesheet\" type=\"text/css\" href=\"" + file + queryStr + "\"/>");
	});
	forEach(options.basefiles.concat(options.parserfile), function(file) {
	  if (!/^https?:/.test(file)) file = options.path + file;
	  html.push("<script type=\"text/javascript\" src=\"" + file + queryStr + "\"><" + "/script>");
	});
	html.push("</head><body style=\"border-width: 0;\" class=\"editbox\"" + sp + "></body></html>");
	return html.join("");
  }

  var internetExplorer = document.selection && window.ActiveXObject && /MSIE/.test(navigator.userAgent);

  function CodeMirror(place, options) {
	// Use passed options, if any, to override defaults.
	this.options = options = options || {};
	setDefaults(options, CodeMirrorConfig);

	// Backward compatibility for deprecated options.
	if (options.dumbTabs) options.tabMode = "spaces";
	else if (options.normalTab) options.tabMode = "default";
	if (options.cursorActivity) options.onCursorActivity = options.cursorActivity;

	var frame = this.frame = createHTMLElement("iframe");
	if (options.iframeClass) frame.className = options.iframeClass;
	frame.frameBorder = 0;
	frame.style.border = "0";
	frame.style.width = '100%';
	frame.style.height = '100%';
	// display: block occasionally suppresses some Firefox bugs, so we
	// always add it, redundant as it sounds.
	frame.style.display = "block";

	var div = this.wrapping = createHTMLElement("div");
	div.style.position = "relative";
	div.className = "CodeMirror-wrapping";
	div.style.width = options.width;
	div.style.height = (options.height == "dynamic") ? options.minHeight + "px" : options.height;
	// This is used by Editor.reroutePasteEvent
	var teHack = this.textareaHack = createHTMLElement("textarea");
	div.appendChild(teHack);
	teHack.style.position = "absolute";
	teHack.style.left = "-10000px";
	teHack.style.width = "10px";
	teHack.tabIndex = 100000;

	// Link back to this object, so that the editor can fetch options
	// and add a reference to itself.
	frame.CodeMirror = this;
	if (options.domain && internetExplorer) {
	  this.html = frameHTML(options);
	  frame.src = "javascript:(function(){document.open();" +
		(options.domain ? "document.domain=\"" + options.domain + "\";" : "") +
		"document.write(window.frameElement.CodeMirror.html);document.close();})()";
	}
	else {
	  frame.src = "javascript:;";
	}

	if (place.appendChild) place.appendChild(div);
	else place(div);
	div.appendChild(frame);
	if (options.lineNumbers) this.lineNumbers = addLineNumberDiv(div, options.firstLineNumber);

	this.win = frame.contentWindow;
	if (!options.domain || !internetExplorer) {
	  this.win.document.open();
	  this.win.document.write(frameHTML(options));
	  this.win.document.close();
	}
  }

  CodeMirror.prototype = {
	init: function() {
	  // Deprecated, but still supported.
	  if (this.options.initCallback) this.options.initCallback(this);
	  if (this.options.onLoad) this.options.onLoad(this);
	  if (this.options.lineNumbers) this.activateLineNumbers();
	  if (this.options.reindentOnLoad) this.reindent();
	  if (this.options.height == "dynamic") this.setDynamicHeight();
	},

	getCode: function() {return this.editor.getCode();},
	setCode: function(code) {this.editor.importCode(code);},
	selection: function() {this.focusIfIE(); return this.editor.selectedText();},
	reindent: function() {this.editor.reindent();},
	reindentSelection: function() {this.focusIfIE(); this.editor.reindentSelection(null);},

	focusIfIE: function() {
	  // in IE, a lot of selection-related functionality only works when the frame is focused
	  if (this.win.select.ie_selection && document.activeElement != this.frame)
		this.focus();
	},
	focus: function() {
	  this.win.focus();
	  if (this.editor.selectionSnapshot) // IE hack
		this.win.select.setBookmark(this.win.document.body, this.editor.selectionSnapshot);
	},
	replaceSelection: function(text) {
	  this.focus();
	  this.editor.replaceSelection(text);
	  return true;
	},
	replaceChars: function(text, start, end) {
	  this.editor.replaceChars(text, start, end);
	},
	getSearchCursor: function(string, fromCursor, caseFold) {
	  return this.editor.getSearchCursor(string, fromCursor, caseFold);
	},

	undo: function() {this.editor.history.undo();},
	redo: function() {this.editor.history.redo();},
	historySize: function() {return this.editor.history.historySize();},
	clearHistory: function() {this.editor.history.clear();},

	grabKeys: function(callback, filter) {this.editor.grabKeys(callback, filter);},
	ungrabKeys: function() {this.editor.ungrabKeys();},

	setParser: function(name, parserConfig) {this.editor.setParser(name, parserConfig);},
	setSpellcheck: function(on) {this.win.document.body.spellcheck = on;},
	setStylesheet: function(names) {
	  if (typeof names === "string") names = [names];
	  var activeStylesheets = {};
	  var matchedNames = {};
	  var links = this.win.document.getElementsByTagName("link");
	  // Create hashes of active stylesheets and matched names.
	  // This is O(n^2) but n is expected to be very small.
	  for (var x = 0, link; link = links[x]; x++) {
		if (link.rel.indexOf("stylesheet") !== -1) {
		  for (var y = 0; y < names.length; y++) {
			var name = names[y];
			if (link.href.substring(link.href.length - name.length) === name) {
			  activeStylesheets[link.href] = true;
			  matchedNames[name] = true;
			}
		  }
		}
	  }
	  // Activate the selected stylesheets and disable the rest.
	  for (var x = 0, link; link = links[x]; x++) {
		if (link.rel.indexOf("stylesheet") !== -1) {
		  link.disabled = !(link.href in activeStylesheets);
		}
	  }
	  // Create any new stylesheets.
	  for (var y = 0; y < names.length; y++) {
		var name = names[y];
		if (!(name in matchedNames)) {
		  var link = this.win.document.createElement("link");
		  link.rel = "stylesheet";
		  link.type = "text/css";
		  link.href = name;
		  this.win.document.getElementsByTagName('head')[0].appendChild(link);
		}
	  }
	},
	setTextWrapping: function(on) {
	  if (on == this.options.textWrapping) return;
	  this.win.document.body.style.whiteSpace = on ? "" : "nowrap";
	  this.options.textWrapping = on;
	  if (this.lineNumbers) {
		this.setLineNumbers(false);
		this.setLineNumbers(true);
	  }
	},
	setIndentUnit: function(unit) {this.win.indentUnit = unit;},
	setUndoDepth: function(depth) {this.editor.history.maxDepth = depth;},
	setTabMode: function(mode) {this.options.tabMode = mode;},
	setEnterMode: function(mode) {this.options.enterMode = mode;},
	setLineNumbers: function(on) {
	  if (on && !this.lineNumbers) {
		this.lineNumbers = addLineNumberDiv(this.wrapping,this.options.firstLineNumber);
		this.activateLineNumbers();
	  }
	  else if (!on && this.lineNumbers) {
		this.wrapping.removeChild(this.lineNumbers);
		this.wrapping.style.paddingLeft = "";
		this.lineNumbers = null;
	  }
	},

	cursorPosition: function(start) {this.focusIfIE(); return this.editor.cursorPosition(start);},
	firstLine: function() {return this.editor.firstLine();},
	lastLine: function() {return this.editor.lastLine();},
	nextLine: function(line) {return this.editor.nextLine(line);},
	prevLine: function(line) {return this.editor.prevLine(line);},
	lineContent: function(line) {return this.editor.lineContent(line);},
	setLineContent: function(line, content) {this.editor.setLineContent(line, content);},
	removeLine: function(line){this.editor.removeLine(line);},
	insertIntoLine: function(line, position, content) {this.editor.insertIntoLine(line, position, content);},
	selectLines: function(startLine, startOffset, endLine, endOffset) {
	  this.win.focus();
	  this.editor.selectLines(startLine, startOffset, endLine, endOffset);
	},
	nthLine: function(n) {
	  var line = this.firstLine();
	  for (; n > 1 && line !== false; n--)
		line = this.nextLine(line);
	  return line;
	},
	lineNumber: function(line) {
	  var num = 0;
	  while (line !== false) {
		num++;
		line = this.prevLine(line);
	  }
	  return num;
	},
	jumpToLine: function(line) {
	  if (typeof line == "number") line = this.nthLine(line);
	  this.selectLines(line, 0);
	  this.win.focus();
	},
	currentLine: function() { // Deprecated, but still there for backward compatibility
	  return this.lineNumber(this.cursorLine());
	},
	cursorLine: function() {
	  return this.cursorPosition().line;
	},
	cursorCoords: function(start) {return this.editor.cursorCoords(start);},

	activateLineNumbers: function() {
	  var frame = this.frame, win = frame.contentWindow, doc = win.document, body = doc.body,
		  nums = this.lineNumbers, scroller = nums.firstChild, self = this;
	  var barWidth = null;

	  nums.onclick = function(e) {
		var handler = self.options.onLineNumberClick;
		if (handler) {
		  var div = (e || window.event).target || (e || window.event).srcElement;
		  var num = div == nums ? NaN : Number(div.innerHTML);
		  if (!isNaN(num)) handler(num, div);
		}
	  };

	  function sizeBar() {
		if (frame.offsetWidth == 0) return;
		for (var root = frame; root.parentNode; root = root.parentNode){}
		if (!nums.parentNode || root != document || !win.Editor) {
		  // Clear event handlers (their nodes might already be collected, so try/catch)
		  try{clear();}catch(e){}
		  clearInterval(sizeInterval);
		  return;
		}

		if (nums.offsetWidth != barWidth) {
		  barWidth = nums.offsetWidth;
		  frame.parentNode.style.paddingLeft = barWidth + "px";
		}
	  }
	  function doScroll() {
		nums.scrollTop = body.scrollTop || doc.documentElement.scrollTop || 0;
	  }
	  // Cleanup function, registered by nonWrapping and wrapping.
	  var clear = function(){};
	  sizeBar();
	  var sizeInterval = setInterval(sizeBar, 500);

	  function ensureEnoughLineNumbers(fill) {
		var lineHeight = scroller.firstChild.offsetHeight;
		if (lineHeight == 0) return;
		var targetHeight = 50 + Math.max(body.offsetHeight, Math.max(frame.offsetHeight, body.scrollHeight || 0)),
			lastNumber = Math.ceil(targetHeight / lineHeight);
		for (var i = scroller.childNodes.length; i <= lastNumber; i++) {
		  var div = createHTMLElement("div");
		  div.appendChild(document.createTextNode(fill ? String(i + self.options.firstLineNumber) : "\u00a0"));
		  scroller.appendChild(div);
		}
	  }

	  function nonWrapping() {
		function update() {
		  ensureEnoughLineNumbers(true);
		  doScroll();
		}
		self.updateNumbers = update;
		var onScroll = win.addEventHandler(win, "scroll", doScroll, true),
			onResize = win.addEventHandler(win, "resize", update, true);
		clear = function(){
		  onScroll(); onResize();
		  if (self.updateNumbers == update) self.updateNumbers = null;
		};
		update();
	  }

	  function wrapping() {
		var node, lineNum, next, pos, changes = [], styleNums = self.options.styleNumbers;

		function setNum(n, node) {
		  // Does not typically happen (but can, if you mess with the
		  // document during the numbering)
		  if (!lineNum) lineNum = scroller.appendChild(createHTMLElement("div"));
		  if (styleNums) styleNums(lineNum, node, n);
		  // Changes are accumulated, so that the document layout
		  // doesn't have to be recomputed during the pass
		  changes.push(lineNum); changes.push(n);
		  pos = lineNum.offsetHeight + lineNum.offsetTop;
		  lineNum = lineNum.nextSibling;
		}
		function commitChanges() {
		  for (var i = 0; i < changes.length; i += 2)
			changes[i].innerHTML = changes[i + 1];
		  changes = [];
		}
		function work() {
		  if (!scroller.parentNode || scroller.parentNode != self.lineNumbers) return;

		  var endTime = new Date().getTime() + self.options.lineNumberTime;
		  while (node) {
			setNum(next++, node.previousSibling);
			for (; node && !win.isBR(node); node = node.nextSibling) {
			  var bott = node.offsetTop + node.offsetHeight;
			  while (scroller.offsetHeight && bott - 3 > pos) {
				var oldPos = pos;
				setNum("&nbsp;");
				if (pos <= oldPos) break;
			  }
			}
			if (node) node = node.nextSibling;
			if (new Date().getTime() > endTime) {
			  commitChanges();
			  pending = setTimeout(work, self.options.lineNumberDelay);
			  return;
			}
		  }
		  while (lineNum) setNum(next++);
		  commitChanges();
		  doScroll();
		}
		function start(firstTime) {
		  doScroll();
		  ensureEnoughLineNumbers(firstTime);
		  node = body.firstChild;
		  lineNum = scroller.firstChild;
		  pos = 0;
		  next = self.options.firstLineNumber;
		  work();
		}

		start(true);
		var pending = null;
		function update() {
		  if (pending) clearTimeout(pending);
		  if (self.editor.allClean()) start();
		  else pending = setTimeout(update, 200);
		}
		self.updateNumbers = update;
		var onScroll = win.addEventHandler(win, "scroll", doScroll, true),
			onResize = win.addEventHandler(win, "resize", update, true);
		clear = function(){
		  if (pending) clearTimeout(pending);
		  if (self.updateNumbers == update) self.updateNumbers = null;
		  onScroll();
		  onResize();
		};
	  }
	  (this.options.textWrapping || this.options.styleNumbers ? wrapping : nonWrapping)();
	},

	setDynamicHeight: function() {
	  var self = this, activity = self.options.onCursorActivity, win = self.win, body = win.document.body,
		  lineHeight = null, timeout = null, vmargin = 2 * self.frame.offsetTop;
	  body.style.overflowY = "hidden";
	  win.document.documentElement.style.overflowY = "hidden";
	  this.frame.scrolling = "no";

	  function updateHeight() {
		var trailingLines = 0, node = body.lastChild, computedHeight;
		while (node && win.isBR(node)) {
		  if (!node.hackBR) trailingLines++;
		  node = node.previousSibling;
		}
		if (node) {
		  lineHeight = node.offsetHeight;
		  computedHeight = node.offsetTop + (1 + trailingLines) * lineHeight;
		}
		else if (lineHeight) {
		  computedHeight = trailingLines * lineHeight;
		}
		if (computedHeight) {
		  if (self.options.onDynamicHeightChange)
			computedHeight = self.options.onDynamicHeightChange(computedHeight);
		  if (computedHeight)
			self.wrapping.style.height = Math.max(vmargin + computedHeight, self.options.minHeight) + "px";
		}
	  }
	  setTimeout(updateHeight, 300);
	  self.options.onCursorActivity = function(x) {
		if (activity) activity(x);
		clearTimeout(timeout);
		timeout = setTimeout(updateHeight, 100);
	  };
	}
  };

  CodeMirror.InvalidLineHandle = {toString: function(){return "CodeMirror.InvalidLineHandle";}};

  CodeMirror.replace = function(element) {
	if (typeof element == "string")
	  element = document.getElementById(element);
	return function(newElement) {
	  element.parentNode.replaceChild(newElement, element);
	};
  };

  CodeMirror.fromTextArea = function(area, options) {
	if (typeof area == "string")
	  area = document.getElementById(area);

	options = options || {};
	if (area.style.width && options.width == null)
	  options.width = area.style.width;
	if (area.style.height && options.height == null)
	  options.height = area.style.height;
	if (options.content == null) options.content = area.value;

	function updateField() {
	  area.value = mirror.getCode();
	}
	if (area.form) {
	  if (typeof area.form.addEventListener == "function")
		area.form.addEventListener("submit", updateField, false);
	  else
		area.form.attachEvent("onsubmit", updateField);
	  if (typeof area.form.submit == "function") {
		var realSubmit = area.form.submit;
		function wrapSubmit() {
		  updateField();
		  // Can't use realSubmit.apply because IE6 is too stupid
		  area.form.submit = realSubmit;
		  area.form.submit();
		  area.form.submit = wrapSubmit;
		}
		area.form.submit = wrapSubmit;
	  }
	}

	function insert(frame) {
	  if (area.nextSibling)
		area.parentNode.insertBefore(frame, area.nextSibling);
	  else
		area.parentNode.appendChild(frame);
	}

	area.style.display = "none";
	var mirror = new CodeMirror(insert, options);
	mirror.save = updateField;
	mirror.toTextArea = function() {
	  updateField();
	  area.parentNode.removeChild(mirror.wrapping);
	  area.style.display = "";
	  if (area.form) {
		if (typeof area.form.submit == "function")
		  area.form.submit = realSubmit;
		if (typeof area.form.removeEventListener == "function")
		  area.form.removeEventListener("submit", updateField, false);
		else
		  area.form.detachEvent("onsubmit", updateField);
	  }
	};

	return mirror;
  };

  CodeMirror.isProbablySupported = function() {
	// This is rather awful, but can be useful.
	var match;
	if (window.opera)
	  return Number(window.opera.version()) >= 9.52;
	else if (/Apple Computer, Inc/.test(navigator.vendor) && (match = navigator.userAgent.match(/Version\/(\d+(?:\.\d+)?)\./)))
	  return Number(match[1]) >= 3;
	else if (document.selection && window.ActiveXObject && (match = navigator.userAgent.match(/MSIE (\d+(?:\.\d*)?)\b/)))
	  return Number(match[1]) >= 6;
	else if (match = navigator.userAgent.match(/gecko\/(\d{8})/i))
	  return Number(match[1]) >= 20050901;
	else if (match = navigator.userAgent.match(/AppleWebKit\/(\d+)/))
	  return Number(match[1]) >= 525;
	else
	  return null;
  };

  return CodeMirror;
})();
